I study definability and types in the linear fragment of continuous logic. Linear variants of several definability theorems such as Beth, Svenonus and Herbrand are proved. At the end, a partial study of the theories of probability algebras, probability algebras with an aperiodic automorphism and AL-spaces is given.

We study the relations of being substructure and elementary substructure between Kripke models of intuitionistic predicate logic with the same arbitrary frame. We prove analogues of Tarski's test and Löwenheim-Skolem's theorems as determined by our definitions. The relations between corresponding worlds of two Kripke models [MATHEMATICAL SCRIPT CAPITAL K] ⪯ [MATHEMATICAL SCRIPT CAPITAL K]′ are studied.

The ultraproduct construction is generalized to p‐ultramean constructions () by replacing ultrafilters with finitely additive measures. These constructions correspond to the linear fragments of continuous logic and are very close to the constructions in real analysis. A powermean variant of the Keisler‐Shelah isomorphism theorem is proved for. It is then proved that ‐sentences (and their approximations) are exactly those sentences of continuous logic which are preserved by such constructions. Some other applications are also given.

We develop a model theoretic framework for studying algebraic structures equipped with a measure. The real line is used as a value space and its usual arithmetical operations as connectives. Integration is used as a quantifier. We extend some basic results of pure model theory to this context and characterize measurable sets in terms of zero-sets of formulas.

Linear continuous logic is the fragment of continuous logic obtained by restricting connectives to addition and scalar multiplications. Most results in the full continuous logic have a counterpart in this fragment. In particular a linear form of the compactness theorem holds. We prove this variant and use it to deduce some basic preservation theorems.

We define an ultraproduct of metric structures based on a maximal probability charge and prove a variant of Łoś theorem for linear metric formulas. We also consider iterated ultraproducts.

I prove linear compactness and linear completeness for various forms of linear propositional logic where the value space is a module over a ring.

A value space is a topological algebra equipped with a non-empty family of continuous quantifiers . We will describe first-order logic on the basis of . Operations of are used as connectives and its relations are used to define statements. We prove under some normality conditions on the value space that any theory in the new setting can be represented by a classical first-order theory.

In this paper, some basic properties of automorphisms of first order languages and some examples are presented. In particular, an omitting types theorem is proved.

I focus on an overlooked aspect of the challenge of irrelevant influences. The challenge is often framed in terms of whether recognizing the presence of irrelevant factors in the pedigree of a belief provides a defeater. I argue that the epistemic significance of irrelevant factors goes beyond their status as defeaters. I focus on what I call gray cases, where learning about such factors causes epistemic worry without justifying giving up the belief. I argue that in gray cases, the subject (...) finds a commendatory epistemic practical reason to engage in an activity intended to assuage that epistemic worry. (shrink)

I present a puzzle regarding the norms of disagreement and inquiry. The puzzle mainly concerns a special type of peer disagreement that I call “mild disagreement”, in which the parties to the disagreement believe a proposition but with different degrees of confidence. The puzzle is best formulated as an inconsistent triad: (NJ1) The state of mild disagreement provides the involved parties with no epistemic reason to drop their belief regarding the disputed judgment. (NJ2) The state of mild disagreement provides a (...) practical reason for the involved parties to launch an inquiry into the disputed judgment. (NJ3) If the state of disagreement provides a reason to launch an inquiry into the disputed judgment, the involved parties have a reason to drop their belief regarding the disputed judgment. After discussing some possible responses to the puzzle, I offer my own solution, which involves introducing a new take on how to understand inquiry. This new take on the nature of inquiry can provide us with an alternative to the influential account recently defended by Jane Friedman. (shrink)

According to Burge, it is not possible to commit brute errors in the process of critical reasoning. This thesis lies at the heart of Burge’s influential theory of self-knowledge. By appealing to a version of the slow-switching argument, this paper contends that Burge’s view is not compatible with his commitment to externalism about mental content. In particular, it is argued that accepting externalism opens up the possibility of brute errors in the process of critical reasoning.

We prove Robinson consistency theorem as well as Craig, Lyndon and Herbrand interpolation theorems in linear continuous logic.

The linear compactness theorem is a variant of the compactness theorem holding for linear formulas. We show that the linear fragment of continuous logic is maximal with respect to the linear compactness theorem and the linear elementary chain property. We also characterize linear formulas as those preserved by the ultramean construction.

We study model theory of random variables using finitary integral logic. We prove definability of some probability concepts such as having F as distribution function, independence and martingale property. We then deduce Kolmogorov's existence theorem from the compactness theorem.

A quantified universe is a set M equipped with a Riesz space equation image of real functions on Mn, for each n, and a second order operation equation image. Metric structures 4, graded probability structures 9 and many other structures in analysis are examples of such universes. We define ultraproduct of quantified universes and study properties preserved by this construction. We then discuss logics defined on the basis of classes of quantified universes which are closed under this construction.

In recent years, scientific misconduct has received significant attention within the scientific community. Plagiarism is the most frequent type of scientific misconduct and is defined as ‘unauthorised appropriation of another's work, ideas, methods, results or words without acknowledging the source and original author’.1 ,2 ….

Avicenna introduces the primary propositions as the most fundamental principles of knowledge. However, as far as we are aware, Avicenna’s primaries have not yet been independently studied. Nor do Avicenna scholars agree on how to characterize them in the language of contemporary philosophy. It is well-known that the primaries are indemonstrable; nonetheless, it is not clear what the genealogy of the primaries is, how, epistemologically speaking, they can be distinguished from other principles, what their phenomenology is, what the cause of (...) the assent to them is, how to explain the relationship between the ‘innate [nature] of the intellect’ and the primaries and, finally, back to their indemonstrability, in what sense they are ‘indemonstrable’. We will try to fill this gap. As a corollary, we will explain why Gutas’s view [Gutas, Dimitri.... (shrink)

Spiritual Intelligence (S-Intelligence) introduced to achieve higher levels of knowledge and applying hidden knowledge. This intelligence is various in different people. When people work together in a team or set, these diverse influence on their performance. Facilitate the application of spiritual capacities by using abilities of S- intelligence is important to increase productivity teamwork. For this purpose, we provided a model of communication for individuals with different S-intelligence in performing team tasks. First, with the basics S-intelligence analysis and interviews with (...) experts, S-intelligence was divided in five categories. Each person according to their S-Intelligence and the role that play in teamwork (individualist, thinkist and pragmatist) from this aspect that he/she can by what kind of S-intelligences and what kind of role, has an effective team relationship, has been measured. With the 690 questionnaires among individuals with experience in teamwork and group communication, we have addressed to the measurement of their communication model. After derivation the data by fuzzy logic, we analyzed and presented an effective model of teamwork based on S-intelligence. (shrink)

Concept originalism, recently introduced and defended by Sainsbury and Tye, Tye, and Sainsbury, holds that “atomic concepts are to be individuated by their historical origins, as opposed to their semantic or epistemic properties”. The view is immune to Gareth Evans’s “Madagascar” objection to the Causal Theory of Reference since it allows a concept to change its reference over time without losing its identity. The possibility of reference-shift, however, raises the problem of misleading belief reports. S&T try to tackle the problem (...) by strengthening the sufficient condition for a truthful belief report. We will argue that, first, their solution fails, second, and more importantly, their diagnosis of the root of the problem is misguided, third, two initially appealing ways out of the problem fail, and fourth, the prospect of finding a solution to the problem within CO is dim. The view opens the Pandora’s box of reference-shift, in a wide range of cases, without providing the necessary semantic means to take care of them. (shrink)

I will focus on the following question: “Is Avicenna[aut]Avicenna an empiricist?”. I will introduce Avicenna’sAvicenna language of “signification”, “understood content”, “mentalMental impression” and “conception”. Then, following Kenneth P. Winkler[aut]Winkler, K. ~ P., I will distinguish between origin-empiricism and content-empiricism Empiricism and reinterpret the distinction in Avicenna’sAvicenna language as OEA and CEA. I will show that Avicenna’sAvicenna analysis of the relationship between knowledge, on the one hand, and sensation and imagination, on the other hand, includes three empiricist themes. I use these (...) themes to argue that that Avicenna is committed to OEA. Then, I will consider three “possible” limitations to Avicenna’sAvicenna origin-empiricism. I will show that a common empiricist solution, that relies on the compositionality of the “understood contentContent”, quia demonstration and relative conceptions, has significant limitations. I will argue that a careful examination of these limitations, and the epistemology of the primary conceptions, show that Avicenna is not committed to CEA. I will conclude that “Is Avicenna[aut]Avicenna an empiricist?” has no simple yes-or-no answer. This raises a parallel open question: “Is Avicenna a rationalist?”, in some sense. After briefly commenting on this question, I will consider a related, but generally dissociated, question on the reality of abstraction, namely “Is Avicenna an abstractionist?” I will explain how the common replies to both questions rely on different incompatibility principles, according to which emanation from the active intellect is incompatible with apprehension by or abstraction from sense-perception. I will end by outlining the elements of a reading of Avicenna that assumes neither of these incompatibility principles. (shrink)

There has recently been a surge of development in augmented reality (AR) technologies that has led to an ecosystem of hardware and software for AR, including tools for artists and designers to accelerate the design of AR content and experiences without requiring complex programming. AR is viewed as a key “disruptive technology” and future display technologies (such as digital eyewear) will provide seamless continuity between reality and the digitally augmented. This article will argue that the technologization of human perception and (...) experience of reality, coupled with the development of artificial intelligence (AI)–based natural language assistants, may lead to a secular re‐enchantment of the world, in the sense outlined by Charles Taylor, where human existence is shaped through AR inhabited by advanced personal and social AI agents in the form of digital avatars and daemons, and that enchantment has been persistent throughout the formation of modernity and is being rekindled by the integration of AI in the plane of AR. (shrink)

In social systems or spaces, distance between the centre and the periphery breeds epistemic injustice. There are growing accounts of epistemic injustice in health-related fields, as in the article by Pratt and de Vries.1 The title of the article asks: ‘Where is knowledge from the global South?’ Like me, you may answer by saying: ‘Knowledge from the global South is in the global South’. That answer says a lot about how we right epistemic injustice done to actors in the global (...) South or the periphery, including in health ethics. Pratt and de Vries identified four sets of actors (individuals, institutions, journals and funders) responsible for righting epistemic injustice. For three of the four sets of actors, they recognised the need for—or the possibility of—symmetry between global North and global South. Except journals. They did not seriously consider that journals are either present in or could belong to the global South; to the periphery. Platforms for knowledge exchange, circulation, cultivation and curation—such as journals, conferences, publishers, blogs, archives, seminars, books and the media, social or traditional—are neither physically nor epistemically neutral. They are situated. The BBC cannot do for Nigeria or Australia what it does for Britain; neither can the BMJ. Many of us take our position at the centre or periphery as neutral, natural, necessary or permanent. But the African American writer Toni Morrison proved the opposite with her career: ‘I stood at the border, stood at the edge and claimed it as central. l claimed it as central, and let the rest of the world move over to where I was.’2 Although physically in the USA, Toni Morrison was writing …. (shrink)

The cognitive developmental theory of ethics suggests that there is a positive relationship between ethical reasoning and ethical behavior. In this study, we trained a sample of accounting and finance students in performing competitive stock trading in our state-of-the-art trading room. The subjects then performed trading of stocks under two experimental conditions: insider information, and no-insider information where significant performance-based financial awards were at stake. We also administered the Defining Issues Test (DIT). Ethical behavior, as the dependent variable was measured (...) in a binary scale: whether the subjects used insider information for trading of stocks or not. Ethical reasoning as measured by the DIT P-score indicated statistically significant effect on ethical behavior. The results have important implications for recruitment and training of professionals engaged in the use of financial markets for securities trading. (shrink)

The rapid advancement of artificial intelligence (AI) has led to renewed ambitions of developing artificial general intelligence. Alongside this has been a resurgence in the development of virtual and augmented reality (V/AR) technologies, which are viewed as “disruptive” technologies and the computing platforms of the future. V/AR effectively bring the digital world of machines, robots, and artificial agents to our senses while entailing the transposition of human activity and presence into the digital world of artificial agents and machine forms of (...) intelligence. The intersection of humans and machines in this shared space brings humans and machines into ontological continuity as informational entities in a totalizing informational environment, which subsumes both cyber and physical space in an artificially constructed virtual world. The reconstruction of mind (through AI) and world (through V/AR) thus has significant epistemological, ontological, and anthropological implications, which constitute the underlying features in the artificialization of mind and world. (shrink)

Recent literature on Islam and the digital covers a wide range of topics and themes; however, what is yet to be developed from an Islamic perspective is a broader philosophical framework that accounts for the nature, exigencies and affordances of contemporary digital technologies. In advance of such a framework, this article is an attempt to open the way to philosophical engagement with issues of digital ethics from an Islamic perspective. After a brief review of recent literature on Islam and the (...) digital and a significantly earlier work by Ziauddin Sardar, in which he proposed an information strategy for the Muslim world, this paper provides some background to Islamic ethics and the wide field of ethical theories in the Islamic tradition. This paper then proceeds by identifying and outlining examples of contemporary themes in Islam and the digital which conceal underlying philosophical and theological issues. Finally, this paper considers the significant scale and scope of the transformations involved in the ongoing transposition to the ‘onlife’ and highlights several areas where Islamic perspectives may be seen to converge or diverge with other strands of scholarship on digital ethics. (shrink)

A generic analysis of research article abstracts can cover issues of different types; among them are linguistic features. An integral part of linguistic features of research article abstracts is interactive metadiscourse usage that can assist to make the text persuasive and unfolding to a discourse community. The main principle behind applying interactive metadiscourse is the view of writing as socially engaging; specifically, it indicates the ways writers project themselves into their arguments to declare their attitudes and commitments to the readers. (...) This study aimed to explore how interactive metadiscourse markers are deployed by research article abstract writers belonging to different disciplinary communities within the soft sciences, while trying to reach the audience by creating a well-organized discourse. Hyland’s interpersonal model of metadiscourse was adopted to analyze 60 research article abstracts written in Applied Linguistics and Economics. Based on the results, there were marked variations found across the two disciplines in terms of interactive metadiscourse markers. (shrink)

The issue of existence - quiddity difference is one of the important issues that were put forward for the first time in Islamic philosophy without having any background in Greek philosophy. Aristotle's metaphysics which is the main source of the first philosophy contains only synonymous and verbal meaning ofexistence. The issue of existence - quiddity difference has no room in Aristotle's works. This issue was proposed first by Farabi and then was completed by Ibn sina. In Islamic philosophy when it (...) is proved that existence in the mind is neither identical with quiddity nor a part of it but differs with it and is excess of it, that is, when it is proved that existence occurs on quiddity, this question arises that how is their relation in the outside? Whether existence occurs on quiddity or existence and quiddity are identical in the external world? To this question the Islamic philosophers answer that existence and quiddity are identical in the outside and it isimpossible that they differ from each other in the external world. The importance of this issue is that it finally led to the origination of the doctrine of the principality of existence which is known as the culmination of Islamic philosophy. The main goal of this article is study this issue and its impact upon the origination of the doctrine of the principiality of existence. (shrink)

This paper examines relationships between accountants’ personal values and their moral reasoning. In particular, we hypothesize that there is an inverse relationship between accountants’ “Conformity” values and principled moral reasoning. This investigation is important because the literature suggests that conformity with rule-based standards may be one reason for professional accountants’ relatively lower scores on measures of moral reasoning (Abdolmohammadi et al. J Bus Ethics 16 (1997) 1717). We administered the Rokeach Values Survey (RVS) (Rokeach: 1973, The Nature of Human Values (...) (The Free Press, New York)) and the Defining Issues Test (DIT) (Rest: 1979, Development in Judgment Moral Issues (University of Minnesota Press, Minneapolis, MN)) to164 graduating accounting students enrolled in capstone courses at two universities in the Northeastern United States. As potential entrants into the accounting profession, these subjects bring their values and moral reasoning to bear on attitudes and behaviors in the workplace. We find a highly significant inverse relationship between “Conformity” values and principled moral reasoning (i.e., those who prefer Conformity values have lower levels of moral reasoning). However, we also find that accounting students as a group do not prefer Conformity values above other values such as Self-actualization and Idealism, and we find positive relationships between Self-actualization and Idealism values and moral reasoning. Implications for values and ethics research are discussed. (shrink)

We argue that the debate about the normativity of belief thesis has been hampered by the slogan, ‘belief aims at truth’. We show that the slogan provides no content to the normativity of belief. The slogan encourages formulations of the norm as a prescriptive norm. There are well-known problems with such formulations. We provide a new formulation of the thesis as a prohibitive norm. This captures the key intuition most normativists about belief want to endorse.

Emergency care providers regularly deal with ethical dilemmas that must be addressed. In comparison with in-hospital nurses, emergency medical service personnel are faced with more problems such as distance to resources including personnel, medico-technical aids, and information; the unpredictable atmosphere at the scene; arriving at the crime scene and providing emergency care for accident victims and patients at home. As a result of stressfulness, unpredictability, and often the life threatening nature of tasks that ambulance professionals have to deal with every (...) day, ethical decision-making has become an inevitable challenge. The content analysis approach was used to conduct the present qualitative study in Iran. The participants consisted of 14 EMS personnel selected through purposive sampling, which continued until the data became saturated. Data were collected using semi-structured interviews and analyzed concurrently with their collection through the constant comparison method. The process of data analysis resulted in the emergence of 3 main categories “respecting client’s values”, “performing tasks within the professional manner”, “personal characteristic”, and the emergence of eight sub-categories signifying participants’ experiences with regard to EDM. According to the results, when EMS personnel are faced with ethical dilemmas, they consider the client’s values and professional dignity, and perform the assigned tasks within the framework of the regulation. The findings also suggest that pre-hospital care providers assess legal consequences before making any decision. Further studies should be conducted regarding the experiences of the subordinates and other related parties. (shrink)

INTRODUCTION: BUILDING DEMOCRATIC STATES ON NATIONAL DIVERSITY Mohammad-Saïd Darviche & William Genieys Juan J. Linz is one of the most famous scholars in ...

Background:Experiencing moral distress is traumatic for nurses. Ignoring moral distress can lead to job dissatisfaction, improper handling in the care of patients, or even leaving the job. Thus, it is crucial to use valid and reliable instruments to measure moral distress.Objective:The purpose of this study was to determine the reliability and the validity of the Persian version of the Moral Distress Scale–Revised among a sample of Iranian nurses.Research design:In this methodological study, 310 nurses were recruited from all hospitals affiliated with (...) the Qazvin University of Medical Sciences from February 2014 to April 2015. Data were collected using a demographic questionnaire and the Moral Distress Scale–Revised. The construct validity of the Moral Distress Scale–Revised was evaluated using principal component analysis and confirmatory factor analysis. Internal consistency reliability was assessed with Cronbach’s alpha.Ethical considerations:This study was approved by the Regional Committee of Medical Research Ethics. The ethical principles of voluntary participation, anonymity, and confidentiality were considered.Findings:The construct validity of the scale showed four factors with eigenvalues greater than one. The model had a good fit ( χ2(162) = 307.561, χ2/ df = 1.899, goodness-of-fit index =.904, comparative fit index =.927, incremental fit index =.929, and root mean square error of approximation (90% confidence interval) =.049 (.040–.057)) with all factor loadings greater than.5 and statistically significant. Cronbach’s alpha coefficients were.853,.686,.685, and.711for the four factors. Moreover, the model structure was invariant across different income groups.Discussion and conclusion:The Persian version of the Moral Distress Scale–Revised demonstrated suitable validity and reliability among nurses. The factor analysis also revealed that the Moral Distress Scale–Revised has a multidimensional structure. Regarding the proper psychometric characteristics, the validated scale can be used to further research about moral distress in this population. (shrink)

We prove some preservation theorems concerning inductive and model-complete theories in the framework of semi-classical logic introduced in [1].